141. Fuzzy Decision Procedures with Binary Relations :
پدیدآورنده : by Leonid Kitainik.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Operations research.
رده :
QA279
.
4
B954
1993
142. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
143. Fuzzy Relational Systems
پدیدآورنده : by Radim Bělohlávek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
144. Fuzzy Set Theory-and Its Applications
پدیدآورنده : by H.-J. Zimmermann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
145. Fuzzy Sets in Decision Analysis, Operations Research and Statistics
پدیدآورنده : edited by Roman Słowiński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
146. Fuzzy Sets in Information Retrieval and Cluster Analysis
پدیدآورنده : by Sadaaki Miyamoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
رده :
QA248
.
B973
1990
147. Fuzzy Systems
پدیدآورنده : edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
148. Gale encyclopedia of world history :
پدیدآورنده : editori
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
149. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
150. Intelligent Hybrid Systems
پدیدآورنده : edited by Da Ruan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.
151. Intelligent Tutoring Systems :
پدیدآورنده : edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information systems.,Multimedia systems.
152. Intelligent computer mathematics
پدیدآورنده : / Serge Autexier ... [et al] (eds.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010
153. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
154. Interpolation Theory and Its Applications
پدیدآورنده : by L. A. Sakhnovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
155. Introduction to formal philosophy
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
کتابخانه: (طهران)
موضوع : ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
156. Introduction to formal philosophy /
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
157. Introduction to mathematical logic
پدیدآورنده : Elliott Mendelson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Problems, exercises, etc.,Logic, Symbolic and mathematical.
رده :
QA9
.
E455
2015
158. Introduction to mathematical proofs :
پدیدآورنده : Charles E. Roberts, Jr.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
159. Introductory real analysis
پدیدآورنده : / by M. E. Munroe
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Mathematical analysis,Logic, symbolic and mathematical
رده :
QA300
.
M86
160. Introductory real analysis
پدیدآورنده : / by M. E. Munroe
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Matheamtical analysis,Logic, Symbolic and mathematical
رده :
517
.
52
Mu-I
